Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
361	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics
362	Towards a Belief-Based Theory of Repeated Games with Private Monitoring: An Application of POMDP∗ KANDORI, Michihiro Faculty of Economics University of Tokyo Add to Reading List Source URL: federation.ens.fr Language: English - Date: 2012-09-26 07:59:55 Markov processes Stochastic control Control theory Game theory Partially observable Markov decision process Finite-state machine Markov decision process Repeated game Statistics Automata theory Dynamic programming
363	Exact DFA Identification Using SAT Solvers Marijn J.H. Heule1, and Sicco Verwer2 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 07:36:36 Automata theory NP-complete problems Graph coloring Graph theory Boolean satisfiability problem Deterministic finite automaton Clique DFA Records Powerset construction Theoretical computer science Mathematics Applied mathematics
364	Using a satisfiability solver to identify deterministic finite state automata Marijn J.H. Heule Sicco Verwer Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-08-19 05:30:10 NP-complete problems Complexity classes Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Graph coloring SL NP-complete Theoretical computer science Mathematics Computational complexity theory
365	Journal of Machine Learning Research[removed]2185 Submitted 6/07; Revised 1/08; Published[removed]A Moment Bound for Multi-hinge Classifiers Bernadetta Tarigan Add to Reading List Source URL: jmlr.org Language: English - Date: 2008-10-23 14:54:09 Statistical theory Statistics Automata theory Probability and statistics Ordinary differential equations Mathematics Itō diffusion Representation theory of finite groups Entropy Information theory Randomness
366	Context-Sensitive Diagnosis of Discrete-Event Systems Add to Reading List Source URL: ijcai.org Language: English - Date: 2011-06-29 07:12:56 Medical diagnosis Diagnosis Fault Knowledge Automata theory Models of computation Finite-state machine
367	Dissertation On the Relative Descriptional Complexity of Regular Expressions and Finite Automata Stefan Gulan Add to Reading List Source URL: ubt.opus.hbz-nrw.de Language: English - Date: 2012-01-09 05:11:16 Formal languages Computer science Applied mathematics Pattern matching Regular expression Finite-state machine Nondeterministic finite automaton Automata theory Models of computation Theoretical computer science
368	NRL Release Number[removed]Visual Security Protocol Modeling J. McDermott Center for High Assurance Computer Systems Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-26 12:50:29 Data modeling Computing Diagrams Automata theory Digital electronics Unified Modeling Language Communications protocol Finite-state machine Activity diagram Models of computation UML diagrams Software engineering
369	“Maximal-Munch” Tokenization in Linear Time THOMAS REPS University of Wisconsin The lexical-analysis (or scanning) phase of a compiler attempts to partition an input string Add to Reading List Source URL: www.csc.lsu.edu Language: English - Date: 2002-06-08 18:46:58 Computing Automata theory Parsing Models of computation Lexical analysis Maximal munch Tokenization Finite-state machine Algorithm Programming language implementation Compiler construction Software engineering
370	Finite-State Transducer Cascade to Extract Proper Names in Texts Nathalie Friburger and Denis Maurel Laboratoire d’Informatique de Tours E3i, 64 avenue Jean Portalis, 37000 Tours {friburger,maurel}@univ-tours.fr Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-04-03 11:21:43 Models of computation Language Computational linguistics Natural language processing Speech recognition Finite state transducer Finite-state machine Family name Proper noun Linguistics Languages of Europe Automata theory

UPDATE